1、
2、
So, this paper addresses how to define program semantics on dynamic data structures.
本文针对这种情况，研究了如何正确刻划动态数据结构的程序语义问题。
互联网摘选
3、
基于变量抽象，我们定义了部分最强后置条件，进而定义了程序的保守近似语义。
互联网摘选
4、
部分最弱前置条件是程序保守近似语义的另一种表示方法，同样基于变量抽象定义。
互联网摘选
5、
6、
作为该类编程技术的核心，Answer Set语义相对其它非单调逻辑编程语义理论简洁明了，它充分利用了逻辑编程领域的已有成果，有效地实现了逻辑程序的非单调推理。
互联网摘选
7、
但是，目前传统的信息资源组织方式缺少统一的基于语义的描述，计算机程序不能正确理解其中包含的语义内涵，无法为用户提供准确恰当的所需信息资源。
互联网
